<body>
Contain a command line launcher for the SAT solvers.
</body>